#define UART_BASE_ADDR 0x13000000
#define UART_BAUD_RATE 512000

void board_init()
{
	_pl01x_init((void *)UART_BASE_ADDR, UART_BAUD_RATE);
}